A Swiss Pocket Knife for Computability

This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective. Three cornerstones of computability theory are the S-m-ntheorem; Turing's "universal machine"; and Kleene's second recursion theorem. In today's programming language parlance these are respectively partial evaluation, self-interpretation, and reflection. In retrospect it is fascinating that Kleene's 1938 proof is constructive; and in essence builds a self-reproducing program. Computability theory originated in the 1930s, long before the invention of computers and programs. Its emphasis was on delimiting the boundaries of computability. Some milestones include 1936 (Turing), 1938 (Kleene), 1967 (isomorphism of programming languages), 1985 (partial evaluation), 1989 (theory implementation), 1993 (efficient self-interpretation) and 2006 (term register machines). The "Swiss pocket knife" of the title is a programming language that allows efficient computer implementation of all three computability cornerstones, emphasising the third: Kleene's second recursion theorem. We describe experiments with a tree-based computational model aiming for both fast program generation and fast execution of the generated programs.Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.455

A framework for documenting and analyzing life-cycle costs using a simple network based representation

The introduction of high reliability systems combined with new ways of operating complex systems, particularly in aircraft design and operation has received much attention in recent years. Some systems are now being introduced into service, however, justifying such systems on a financial basis is difficult and may act to limit the rate of introduction on new products. Conventional life cycle costing based on a hierarchical cost breakdown structure is poor at recording and analysing the cost implications of introducing new technologies that have effects that span more than one phase in the life cycle. There is a risk that too much emphasis is put on ‘faith’ that a candidate technology will reduce cost because the cost analysis methods lack descriptive and analytical power. We describe an approach to representing the costs associated with introducing new technologies and evaluating their total cost. Our aim was to facilitate the comparison of different technological choices in new product development, with a particular interest in how the perceived benefits of enhanced reliability systems can be shown in a way that is inclusive, objective and easy to understand

Computability and Complexity from a Programming Perspective (MFPS Draft preview)

AbstractThe author's forthcoming book proves central results in computability and complexity theory from a programmer-oriented perspective. In addition to giving more natural definitions, proofs and perspectives on classical theorems by Cook, Hartmanis, Savitch, etc., some new results have come from the alternative approach.One: for a computation model more natural than the Turing machine, multiplying the available problem-solving time provably increases problem-solving power (in general not true for Turing machines). Another: the class of decision problems solvable by Wadler's “treeless” programs [8], or by cons-free programs on Lisp-like lists, are identical with the well-studied complexity class LOGSPACE.A third is that cons-free programs augmented with recursion can solve all and only PTIME problems. Paradoxically, these programs often run in exponential time (not a contradiction, since they can be simulated in polynomial time by memoization.) This tradeoff indicates a tension between running time and memory space which seems worth further investigation

Latitude and Longing: Cartography of Desire

pages 91-9

Negative emotional reactivity as a marker of vulnerability in the development of borderline personality disorder symptoms

Negative emotionality is a distinguishing feature of borderline personality disorder (BPD). However, this person-level characteristic has not been examined as a marker of vulnerability in the development of this disorder. The current study utilized a multi-method approach to examine the interplay between negative emotional reactivity and cumulative exposure to family adversity on the development of BPD symptoms across three years (ages 16–18) in a diverse, at-risk sample of adolescent girls (N=113). A latent variable of negative emotional reactivity was created from multiple assessments at age 16: (1) self-report, (2) emotion ratings to stressors from ecological assessments across one week, and (3) observer-rated negative affectivity during a mother-daughter conflict discussion task. Exposure to family adversity was measured cumulatively between ages 5 and 16 from annual assessments of family poverty, single parent household, and difficult life circumstances. Results from latent growth curve models demonstrated a significant interaction between negative emotional reactivity and family adversity, such that exposure to adversity strengthened the association between negative emotional reactivity and BPD symptoms. Additionally, family adversity predicted increasing BPD symptoms during late adolescence. These findings highlight negative emotional reactivity as a marker of vulnerability that ultimately increases risk for the development of BPD symptoms

Restrictive antibiotic stewardship associated with reduced hospital mortality in gram-negative infection

Introduction: Antimicrobial stewardship has an important role in the control of Clostridium difficile infection (CDI) and antibiotic resistance. An important component of UK stewardship interventions is the restriction of broad-spectrum beta-lactam antibiotics and promotion of agents associated with a lower risk of CDI such as gentamicin. Whilst the introduction of restrictive antibiotic guidance has been associated with improvements in CDI and antimicrobial resistance evidence of the effect on outcome following severe infection is lacking. Methods: In 2008, Glasgow hospitals introduced a restrictive antibiotic guideline. A retrospective before/after study assessed outcome following gram-negative bacteraemia in the 2-year period around implementation. Results: Introduction of restrictive antibiotic guidelines was associated with a reduction in utilisation of ceftriaxone and co-amoxiclav and an increase in amoxicillin and gentamicin. 1593 episodes of bacteraemia were included in the study. The mortality over 1 year following gram-negative bacteraemia was lower in the period following guideline implementation (RR 0.852, P = 0.045). There was no evidence of a difference in secondary outcomes including ITU admission, length of stay, readmission, recurrence of bacteraemia and need for renal replacement therapy. There was a fall in CDI (RR 0.571, P = 0.014) and a reduction in bacterial resistance to ceftriaxone and co-amoxiclav but no evidence of an increase in gentamicin resistance after guideline implementation. Conclusion: Restrictive antibiotic guidelines were associated with a reduction in CDI and bacterial resistance but no evidence of adverse outcomes following gram-negative bacteraemia. There was a small reduction in one year mortality

Kinetic parameters for nutrient enhanced crude oil biodegradation in intertidal marine sediments

Availability of inorganic nutrients, particularly nitrogen and phosphorous, is often a primary control on crude oil hydrocarbon degradation in marine systems. Many studies have empirically determined optimum levels of inorganic N and P for stimulation of hydrocarbon degradation. Nevertheless, there is a paucity of information on fundamental kinetic parameters for nutrient enhanced crude oil biodegradation that can be used to model the fate of crude oil in bioremediation programmes that use inorganic nutrient addition to stimulate oil biodegradation. Here we report fundamental kinetic parameters (Ks and qmax) for nitrate-and phosphate-stimulated crude oil biodegradation under nutrient limited conditions and with respect to crude oil, under conditions where N and P are not limiting. In the marine sediments studied, crude oil degradation was limited by both N and P availability. In sediments treated with 12.5 mg/g of oil but with no addition of N and P, hydrocarbon degradation rates, assessed on the basis of CO2 production, were 1.10 ± 0.03 μmol CO2/g wet sediment/day which were comparable to rates of CO2 production in sediments to which no oil was added (1.05 ± 0.27 μmol CO2/g wet sediment/day). When inorganic nitrogen was added alone maximum rates of CO2 production measured were 4.25 ± 0.91 μmol CO2/g wet sediment/day. However, when the same levels of inorganic nitrogen were added in the presence of 0.5% P w/w of oil (1.6 μmol P/g wet sediment) maximum rates of measured CO2 production increased more than four-fold to 18.40 ± 1.04 μmol CO2/g wet sediment/day. Ks and qmax estimates for inorganic N (in the form of sodium nitrate) when P was not limiting were 1.99 ± 0.86 μmol/g wet sediment and 16.16 ± 1.28 μmol CO2/g wet sediment/day respectively. The corresponding values for P were 63 ± 95 nmol/g wet sediment and 12.05 ± 1.31 μmol CO2/g wet sediment/day. The qmax values with respect to N and P were not significantly different (P < 0.05). When N and P were not limiting Ks and qmax for crude oil were 4.52 ± 1.51 mg oil/g wet sediment and 16.89 ± 1.25 μmol CO2/g wet sediment/day. At concentrations of inorganic N above 45 μmol/g wet sediment inhibition of CO2 production from hydrocarbon degradation was evident. Analysis of bacterial 16S rRNA genes indicated that Alcanivorax spp. were selected in these marine sediments with increasing inorganic nutrient concentration, whereas Cycloclasticus spp. were more prevalent at lower inorganic nutrient concentrations. These data suggest that simple empirical estimates of the proportion of nutrients added relative to crude oil concentrations may not be sufficient to guarantee successful crude oil bioremediation in oxic beach sediments. The data we present also help define the maximum rates and hence timescales required for bioremediation of beach sediments

Observation of implicit complexity by non confluence

We propose to consider non confluence with respect to implicit complexity. We come back to some well known classes of first-order functional program, for which we have a characterization of their intentional properties, namely the class of cons-free programs, the class of programs with an interpretation, and the class of programs with a quasi-interpretation together with a termination proof by the product path ordering. They all correspond to PTIME. We prove that adding non confluence to the rules leads to respectively PTIME, NPTIME and PSPACE. Our thesis is that the separation of the classes is actually a witness of the intentional properties of the initial classes of programs

A high-resolution late Holocene lake isotope record from Turkey and links to North Atlantic and monsoon climate

A high resolution proxy record of precipitation and evaporation variability through the past 1700 yr from δ18O analysis of a varved lake sequence from central Turkey shows rapid shifts between dry periods (AD 300–500 and AD 1400–1950) and wetter intervals (AD 560–750 and AD 1000–1350). Changes are consistent with changes in instrumental and proxy records of the Indian monsoon, dry summers in the Eastern Mediterranean being associated with periods of enhanced monsoon rainfall. In addition major shifts in the record are coherent with changes in North Atlantic winter climate with cold, wet periods in the Alps occurring at times of dry Turkish climate